edf48ee6fbb4ffecfa9e12b1c79cc25bc5ad56cd,src/heros/alias/AccessPath.java,AccessPath,getDeltaTo,#AccessPath#,130

Before Change


	}
	
	public FieldRef[] getDeltaTo(AccessPath<FieldRef> accPath) {
		if(isPrefixOf(accPath))
			return Arrays.copyOfRange(accPath.accesses, accesses.length, accPath.accesses.length);
		else
			throw new IllegalArgumentException("Given AccessPath must be a prefix of the current AccessPath");

After Change


	}
	
	public FieldRef[] getDeltaTo(AccessPath<FieldRef> accPath) {
		if(isPrefixOf(accPath).atLeast(PrefixTestResult.POTENTIAL_PREFIX))
			return Arrays.copyOfRange(accPath.accesses, accesses.length, accPath.accesses.length);
		else
			throw new IllegalArgumentException("Given AccessPath must be a prefix of the current AccessPath");